logica aritmetica

logica aritmetica
арифметическая логика

Dictionnaire polytechnique italo-russe. 2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "logica aritmetica" в других словарях:

  • Aritmética de Heyting — Saltar a navegación, búsqueda En lógica matemática, se denomina aritmética de Heyting a la axiomatización de la aritmética siguiendo los lineamientos de la escuela intuicionista. El nombre proviene de Arend Heyting, quien fue el primero en… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Aritmética de módulo 2 — La matemática o aritmética de Módulo 2 se refiere a las operaciones sobre números binarios que desperdician o no tienen en cuenta las unidades que se deben llevar al siguiente nivel. Contenido 1 Suma tradicional 2 Matemática modular 2.1 La suma …   Wikipedia Español

  • Lógica demostrativa — La lógica demostrativa es una lógica modal, en la que el operador caja (o necesidad ) es interpretado significando debe ser demostrado que . El aspecto que se desea capturar es la noción de un predicado de demostración de una teoría formal… …   Wikipedia Español

  • Jerarquía aritmética — En lógica matemática, la jerarquía aritmética, o jerarquía de Kleene clasifica ciertos conjuntos basándose en la complejidad de las fórmulas que los definen. Todo conjunto que recibe una clasificación es llamado aritmético. La jerarquía… …   Wikipedia Español

  • Puerta lógica — «AND» redirige aquí. Para otras acepciones, véase AND (desambiguación). Una puerta lógica, o compuerta lógica, es un dispositivo electrónico el cual es la expresión física de un operador booleano en la lógica de conmutación. Cada puerta lógica… …   Wikipedia Español

  • Historia de la lógica — La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya… …   Wikipedia Español

  • Unidad aritmético lógica — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Lenguaje de bajo nivel — Un lenguaje de programación de bajo nivel es el que proporciona un conjunto de instrucciones aritmeticológicas sin la capacidad de encapsular dichas instrucciones en funciones que no estén ya contempladas en la arquitectura del hardware.… …   Wikipedia Español

  • ILA 9200 — El ILA 9200, es un microprocesador didáctico, cerebro del robot pianista Don Cuco El Guapo, el cual es solo una de sus muchas aplicaciones posibles. El ILA 9200 tiene un total de diez millones de transistores en una superficie de 150 mm, lo que… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»